This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Lee masThis book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
Lee masThe book promotes development scalability through domain partitioning and subdomain partitioning. It also explores software ...
Lee masThis book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, ...
Lee masIt contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
Lee mas